SAVCBS 2003: Specification and Verification of Component-Based Systems
نویسندگان
چکیده
OO Big O 80 Joan Krone (Denison University) and W. F. Ogden (The Ohio State University) Ontology-based Description and Reasoning for Component-based Development on the Web 84 Claus Pahl (Dublin City University) Modeling Multiple Aspects of Software Components 88 Roshanak Roshandel and Nenad Medvidovic (University of Southern California, Los Angeles) Reasoning About Parameterized Components with Dynamic Binding 92 Nigamanth Sridhar and Bruce W. Weide (The Ohio State University) DEMONSTRATIONS 96 Specifications in the Development Process: An AsmL Demonstration 97 Mike Barnett (Microsoft Research) Mae: An Architectural Evolution Environment 99 Roshanak Roshandel (University of Southern California, Los Angeles) Runtime Assertion Checking Using JML 101 Roy Patrick Tan (Virginia Tech)
منابع مشابه
SAVCBS 2004 Specification and Verification of Component-Based Systems
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a sound, modular, and simple verification technique for multithreaded object-oriented programs with object invariants. Based on a recent methodology for object invariants in single-threaded programs, this new verification technique enables leak-pro...
متن کاملSAVCBS 2001 Proceedings Specification and Verification of Component-Based Systems Workshop at OOPSLA 2001
Our goal is to investigate specification-based approaches to testing OO components. That is, given a class C and its specification, how do we test C to see if it meets its specification? Two important requirements that we impose on the testing approach are that it must not require access to the source code of the class under test; and that it should enable us to deal incrementally with derived ...
متن کاملA model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملSpecifying and Verifying Collaborative Behavior in Component-Based Systems
...............................................................................................ii Research Grants ...................................................................................iii Acknowledgements..................................................................................v CHAPTER 1: INTRODUCTION 1.1 COMPONENT CERTIFICATION WITH REUSE.....................................
متن کاملSerious Specification for Composing Components
We discuss the use of an industrial-strength specification language to specify component-level contracts for a product group within Microsoft. We outline how the specification language evolved to meet the needs of the component-based approach followed by that group. The specification language, AsmL, is executable which allows for testing to be done using runtime verification. Runtime verificati...
متن کامل